30.95/31.08	unsat
