30.71/31.05	unsat
