24.01/25.71	unsat
