20.63/23.66	unsat
