30.02/31.76	unsat
