18.85/22.25	unsat
