15.25/19.20	unsat
