31.63/31.70	unsat
