14.93/16.02	unsat
