21.92/22.88	unsat
