21.97/22.78	unsat
