6.02/6.06	unsat
