3.78/3.87	unsat
