5.97/10.72	unsat
