3.77/3.87	unsat
