4.02/4.06	unsat
