23.75/26.34	unsat
