14.37/14.40	unsat
