16.86/16.94	unsat
