30.81/30.97	unsat
