24.76/28.33	unsat
