6.98/10.71	unsat
