30.73/31.49	unsat
