23.36/26.52	unsat
