30.86/31.70	unsat
