31.69/31.85	unsat
