24.35/24.45	unsat
