10.57/14.02	unsat
