5.97/10.44	unsat
