31.16/31.84	unsat
