24.27/24.45	unsat
