22.71/23.44	unsat
