30.46/30.59	unsat
