24.43/24.54	unsat
