14.66/16.02	unsat
