22.94/23.00	unsat
