4.80/6.87	unsat
