3.85/4.06	unsat
