6.98/10.72	unsat
