12.57/15.02	unsat
