3.50/6.87	unsat
