14.37/17.28	unsat
