23.40/23.66	unsat
