24.13/25.71	unsat
