8.56/10.20	unsat
