4.77/4.87	unsat
