18.25/19.81	unsat
