14.37/16.24	unsat
