23.26/23.34	unsat
