24.66/30.26	unsat
