30.98/31.34	unsat
