14.96/15.02	unsat
