24.32/24.45	unsat
