3.79/3.87	unsat
