14.96/18.25	unsat
