22.87/27.22	unsat
