4.00/4.06	unsat
