30.24/30.66	unsat
