83.16/83.33	unsat
