6.98/10.26	unsat
