3.97/4.06	unsat
