14.31/17.09	unsat
