16.86/16.90	unsat
