3.86/3.87	unsat
