22.46/23.00	unsat
