23.99/25.84	unsat
