23.36/26.66	unsat
