30.26/31.05	unsat
