24.27/24.33	unsat
