23.56/25.84	unsat
