30.13/31.84	unsat
