32.72/49.05	unsat
