14.25/17.48	unsat
