16.86/16.96	unsat
