6.98/10.57	unsat
