31.50/31.70	unsat
