24.09/24.45	unsat
