6.98/10.29	unsat
