23.03/26.83	unsat
