18.28/20.25	unsat
