6.97/11.25	unsat
