21.63/23.44	unsat
