18.45/20.25	unsat
