30.71/31.69	unsat
