22.87/29.22	unsat
