14.57/17.32	unsat
