22.25/42.25	unsat
