14.37/16.78	unsat
