14.88/15.02	unsat
