14.07/17.55	unsat
