29.15/30.71	unsat
