6.97/10.47	unsat
