30.44/30.56	unsat
