22.66/22.78	unsat
